|
|
Využití heuristik při obnově hesel pomocí GPU
Gazdík, Peter ; Holkovič, Martin (oponent) ; Hranický, Radek (vedoucí práce)
Tato práce se zabývá různými technikami, které umožňují zlepšení procesu obnovy hesel akcelerovaného pomocí GPU. V první části je představen Markovův model a jednoduché regulární výrazy, které umožňují výrazně redukovat stavový prostor generovaných hesel. Tyto techniky jsou založeny na pozorování hesel tvořených uživateli. Byl navržen paralelní algoritmus, který kombinuje tyto techniky. Závěr práce obsahuje výsledky experimentů, které dokazují výhody použití Markovova modelu.
|
|
|
Tvorba spolehlivostních modelů pro pokročilé číslicové systémy
Wanka, Mario ; Drábek, Vladimír (oponent) ; Kaštil, Jan (vedoucí práce)
Cílem této práce je simulovat vliv spolehlivosti obvodů detekujících chybu u komponent pokročilých digitálních systémů. Prvně je definována spolehlivost a skutečnosti s ní související a jsou představeny Markovské modely. Tyto jsou využity pro samotný simulátor, který je představený v následující kapitole. Jedná se o ad-hoc řešení a použití tohoto simulátoru je detailně popsáno. Stejně tak je popsáno jeho chování v průzných situacích a s různou konfigurací. Na závěr jsou ukázány a diskutovány výsledky experimentů se spolehlivostí obvodů detekujících chybu pro různé modely. Dle výsledků práce je zřejmé, že zásadním faktorem pro zajištění spolehlivosti systému je krátkodobé maskování chyby a dlouhodobé udržení opravovatelnosti.
|
|
|
Tvorba spolehlivostních modelů pro pokročilé číslicové systémy
Trávníček, Jan ; Drábek, Vladimír (oponent) ; Kaštil, Jan (vedoucí práce)
Tato práce se zabývá problematikou spolehlivosti systémů. Nejprve je zde diskutován samotný pojem spolehlivosti a její ukazatele, kterými spolehlivost můžeme konkrétně vyjadřovat. V~další kapitole jsou popsány možné spolehlivostní modely pro jednoduché a složitější systémy. Dále jsou zde popsány základní postupy pro tvorbu spolehlivostních modelů. Čtvrtá kapitola je věnována velmi důležitým markovským modelům. Markovské modely jsou velmi silným a komplexním nástrojem pro výpočet spolehlivosti složitých systému. Je zde vysvětlena vhodnost jejich použití pro obnovované systémy, které mohou obsahovat absorpční stavy. Další kapitola popisuje zálohu systému. Diskutuje výhody a nevýhody statické, dynamické a hybridní zálohy. Také je zde popsán vliv různé úrovně zatížení na životnost součástek. Šestá kapitola je věnována implementaci, popisu aplikace a vstupního souboru ve formátu XML. Jsou zde také diskutovány naměřené výsledky získané při experimentálních výpočtech.
|
|
|
Health technology assessment od digital diabetes therapeutics
Klásek, Jan ; Votápková, Jana (vedoucí práce) ; Bertoli, Paola (oponent)
Prevalence cukrovky 2. typu se celosvětově zvyšuje. Toto chronické onemocnění vede ke zhoršení kvality života a přináší značnou finanční zátěž pro národní zdravotnické systémy. Ačkoliv onemocnění diabetem není zcela vyléčitelné, lze jej kontrolovat zavedením a udržováním zdravých životních návyků. V dnešní době lze takovou intervenci provádět prostřednictvím mo- bilních zařízení s menší nutností zapojení zdravotnického personálu. Tato diplomová práce zkoumá nákladovou efektivitu podpory zdravého životního stylu poskytovanou prostřednictvím mobilní aplikace na německém vzorku 42 pacientů z klinické studie. Analýza je provedena pomocí Markovova řetězce v diskrétním čase pro různé délky modelu. Robustnost výsledků je ověřována pomocí deterministické i pravděpodobnostní analýzy citlivosti. Výsledky naznačují, že digitální intervenci lze považovat za nákladově efek- tivní v krátkodobém i dlouhodobém horizontu ve srovnání se současnými standardy péče. 1
|
|
|
Is women's vaccination against HPV in the Czech Republic cost-effective?
Lušková, Martina ; Šlegerová, Lenka (vedoucí práce) ; Bryndová, Lucie (oponent)
Je očkování žen proti HPV v České republice nákladově efektivní? Bakalářská práce Autor práce: Martina Lušková Abstrakt Táto práca sa zaoberá nákladovou efektivitou očkovania žien proti ľudským papilomavírusom (HPV) v Českej republike. HPV je patogén zodpovedný za väčšinu diagnostikovaných prípadov rakoviny krčka maternice. Zámerom je posúdiť súčasné nastavenie úhrady očkovania proti HPV v porovnaní s navrhovanou zmenou. S cieľom zvýšiť preočkovanosť a následne znížiť budúce náklady na liečbu boli navrhnuté dve stratégie. Na modelovanie prechodu medzi stavmi predstavujúcimi stupne progresie rakoviny krčka maternice je vyvinutý homogénny viacstupňový Markovov model. Analýza prechodov medzi stavmi sa vykonáva na základe dát zhromaždených na účely úhrady zdravotnej starostlivosti z verejného zdravotného poistenia. Koeficient prírastkovej efektivity nákladov naznačuje, že zvýšená preočkovansť (zo 65,8% na 80%) podporovaná kampaňou propagujúcou očkovanie sa javí ako nákladovo efektívna pri predpoklade prahovej hodnoty 1,2 milióna CZK na jeden rok získaného života štandardizovanej kvality. Stratégia propagujúca očkovanie spolu s rozšírením veku (z trinástich o kohorty štrnásť a pätnásťročných), pri ktorom sa očkovanie uhrádza, prináša analogický výsledok. Hlavným problémom práce je, že boli použité dáta na účely...
|
|
|
Využití heuristik při obnově hesel pomocí GPU
Gazdík, Peter ; Holkovič, Martin (oponent) ; Hranický, Radek (vedoucí práce)
Tato práce se zabývá různými technikami, které umožňují zlepšení procesu obnovy hesel akcelerovaného pomocí GPU. V první části je představen Markovův model a jednoduché regulární výrazy, které umožňují výrazně redukovat stavový prostor generovaných hesel. Tyto techniky jsou založeny na pozorování hesel tvořených uživateli. Byl navržen paralelní algoritmus, který kombinuje tyto techniky. Závěr práce obsahuje výsledky experimentů, které dokazují výhody použití Markovova modelu.
|
|
|
Tvorba spolehlivostních modelů pro pokročilé číslicové systémy
Trávníček, Jan ; Drábek, Vladimír (oponent) ; Kaštil, Jan (vedoucí práce)
Tato práce se zabývá problematikou spolehlivosti systémů. Nejprve je zde diskutován samotný pojem spolehlivosti a její ukazatele, kterými spolehlivost můžeme konkrétně vyjadřovat. V~další kapitole jsou popsány možné spolehlivostní modely pro jednoduché a složitější systémy. Dále jsou zde popsány základní postupy pro tvorbu spolehlivostních modelů. Čtvrtá kapitola je věnována velmi důležitým markovským modelům. Markovské modely jsou velmi silným a komplexním nástrojem pro výpočet spolehlivosti složitých systému. Je zde vysvětlena vhodnost jejich použití pro obnovované systémy, které mohou obsahovat absorpční stavy. Další kapitola popisuje zálohu systému. Diskutuje výhody a nevýhody statické, dynamické a hybridní zálohy. Také je zde popsán vliv různé úrovně zatížení na životnost součástek. Šestá kapitola je věnována implementaci, popisu aplikace a vstupního souboru ve formátu XML. Jsou zde také diskutovány naměřené výsledky získané při experimentálních výpočtech.
|
|
|
Tvorba spolehlivostních modelů pro pokročilé číslicové systémy
Wanka, Mario ; Drábek, Vladimír (oponent) ; Kaštil, Jan (vedoucí práce)
Cílem této práce je simulovat vliv spolehlivosti obvodů detekujících chybu u komponent pokročilých digitálních systémů. Prvně je definována spolehlivost a skutečnosti s ní související a jsou představeny Markovské modely. Tyto jsou využity pro samotný simulátor, který je představený v následující kapitole. Jedná se o ad-hoc řešení a použití tohoto simulátoru je detailně popsáno. Stejně tak je popsáno jeho chování v průzných situacích a s různou konfigurací. Na závěr jsou ukázány a diskutovány výsledky experimentů se spolehlivostí obvodů detekujících chybu pro různé modely. Dle výsledků práce je zřejmé, že zásadním faktorem pro zajištění spolehlivosti systému je krátkodobé maskování chyby a dlouhodobé udržení opravovatelnosti.
|
|
|
Analýza přežití v R
Pásztor, Bálint ; Malá, Ivana (vedoucí práce) ; Čabla, Adam (oponent)
Analýza přežití je statistickým oborem, který analyzuje dobu do nastání určité události. Cílem této empirické práce je popsat možnosti analýzy přežití v softwarovém prostředí R. Teoretické znalosti jsou aplikovány na reálná data, parametrické a neparametrické odhady funkce přežití jsou hodnoceny různými metodami a srovnávány mezi sebou. V části zaměřující se na neparametrické modely jsou popsány Kaplan-Meierova a Nelson-Aalenova funkce. Mezi parametrické odhady byla zařazena známá pravděpodobnostní rozdělení, jsou prezentovány funkce přežití a funkce rizika odvozené z těchto rozdělení a diskutována jejich využitelnost v analýze přežití. Dalším cílem práce je ukázat možnosti odvození pravděpodobností přechodu ze získaných odhadů a sestavení Markovova řetězce pro modelování vývoje zkoumané kohorty v čase. Druhá část práce obsahuje popis aplikace teorie analýzy přežití. V této části jsou uvedeny možnosti statistického modelování v oblasti analýzy přežití v softwaru R. Výstupy z R byly použity k vytvoření Markovova modelu. Jsou prezentovány možnosti využití farmakoekonomických modelů a popsány základní pojmy oblasti HTA. V souladu s metodikou SÚKL byl proveden výpočet nákladové efektivity pomocí ukazatele ICER. Bylo ukázáno, že statistické modelování přežití hraje důležitou roli v hodnocení nákladové efektivity léčivých přípravků.
|
|
|
Analýza nákladové efektivity sekvenční terapie deprese
Šóš, Peter ; Lešetický, Ondřej (vedoucí práce) ; Novák, Tomáš (oponent)
Uplatněním farmakoekonomických metod byly srovnány dva vybrané léčebné postupy depresivní poruchy. Pro vyhodnocení nákladové efektivity byl vytvořen Markovov model. Propojeny jsou tak poznatky z klinické praxe a výsledky klinického výzkumu autora s farmakoekonomickými postupy v multidisciplinárním celku. Navrhovaná sekvenční terapie využívá predikce antidepresivní odpovědi pomocí recentních metod kvantitativní elektroencefalografie. Ve srovnání s klasickou léčebnou strategií dle doporučených postupů (guidelines) vychází sekvenční terapie jako nákladově efektivnější. V závěru práce jsou tyto výsledky a jejich omezení diskutovány z klinického a ekonomického pohledu.
|
host ::
RSS.